function previous_page(){
	window.history.back(); 
}

var a = document.getElementById("nothing").value;
		
document.write(a);

















